Solving Deductive Planning Problems
نویسندگان
چکیده
Two general, problematic aspects of deductive planning, namely, detecting unsolvable planning problems and solving a certain kind of postdiction problem, are investigated. The work is based on a resource oriented approach to reasoning about actions and change using a logic programming paradigm. We show that ordinary resolution methods are insuucient for solving these problems and propose program analysis and transformation as a more promising and successful way to solve them.
منابع مشابه
Solving Deductive Planning Problems Using Program Analysis and Transformation
Two general, problematic aspects of deductive planning, namely, detecting unsolvable planning problems and solving a certain kind of postdiction problem, are investigated. The work is based on a resource oriented approach to reasoning about actions and change using a logic programming paradigm. We show that ordinary resolution methods are insufficient for solving these problems and propose prog...
متن کاملConstraint Logic Planning
Deductive planning provides a rigorous approach for planning, such that the capabilities and limitations of the planning systems can be clearly deened. However, most of the deductive planners suuer from the frame problem and they are linear planners. This report presents a novel nonlinear deductive planning framework: constraint logic planning. Procedurally speaking, nonlinear planning is an ac...
متن کاملTransfer of Learned Heuristics among Planners∗
This paper presents a study on the transfer of learned control knowledge between two different planning techniques. We automatically learn heuristics (usually, in planning, heuristics are also named control knowledge) from one planner search process and apply them to a different planner. The goal is to improve this second planner efficiency solving new problems, i.e. to reduce computer resource...
متن کاملMachine Learning in Hybrid Hierarchical and Partial-Order Planners for Manufacturing Domains
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning and control. One of these problems is the automatic generation of control sequences for the entire manufacturing system in such a way that final plans can be directly used as the sequential control programs which drive ...
متن کاملA Reified Temporal Logic For Nonlinear Planning
Deductive planning treats planning as a reasoning process within a formal logic. Several formal logics have been applied in various deductive planning systems, but none is completely satisfactory and widely accepted by planning researchers. Almost all the formal logics applied in deductive planning are proposed for more general purpose than planning. Usually, the more general and the more expre...
متن کامل